g:Group{i}, a:, e:|g|. a x(*;e;~) e  |g| 

latex

Up	groups 1
Definitions of Statement	IMonoid, Mon, Group{i}, i x(op;id;inv) e
Definitions	, IMonoid, t  T, , P & Q, Mon, x:A. B(x), Group{i}
Lemmas	le wf, grp id wf, grp op wf, grp car wf, monoid p wf, nat op wf, grp inv wf